31![Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗ Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗](https://www.pdfsearch.io/img/85059b279ab906132a6f942fad7e2ef0.jpg) | Add to Reading ListSource URL: www.cs.uni-potsdam.de- Date: 2012-06-27 10:05:03
|
---|
32![Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas](https://www.pdfsearch.io/img/fecb0ed4f4969dcc2d40387107947f0d.jpg) | Add to Reading ListSource URL: logic.cse.unt.edu- Date: 2011-01-23 15:58:50
|
---|
33![Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int](https://www.pdfsearch.io/img/a39eb3bb2eb32e3510d85e5362b3a358.jpg) | Add to Reading ListSource URL: www2.tcs.ifi.lmu.de- Date: 2014-09-02 06:12:08
|
---|
34![ActionScript Bytecode Verification With Co-Logic Programming ∗ Brian W. DeVries Gopal Gupta Kevin W. Hamlen ActionScript Bytecode Verification With Co-Logic Programming ∗ Brian W. DeVries Gopal Gupta Kevin W. Hamlen](https://www.pdfsearch.io/img/2cbab69183d1b74fbbbddbb56c963204.jpg) | Add to Reading ListSource URL: utdallas.edu- Date: 2009-06-05 21:13:38
|
---|
35![¨ t zu Kiel Christian-Albrechts-Universita Diploma Thesis Functional Logic Programming with Databases ¨ t zu Kiel Christian-Albrechts-Universita Diploma Thesis Functional Logic Programming with Databases](https://www.pdfsearch.io/img/b0a49ce92e88e043d7df86817ff96159.jpg) | Add to Reading ListSource URL: www-ps.informatik.uni-kiel.de- Date: 2014-06-15 10:44:35
|
---|
36![On Functional Logic Programming and its Application to Testing Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.) On Functional Logic Programming and its Application to Testing Dissertation zur Erlangung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.)](https://www.pdfsearch.io/img/0c5f5b9bcb3b71fa9b6d3645f064981b.jpg) | Add to Reading ListSource URL: www-ps.informatik.uni-kiel.de- Date: 2014-06-15 10:44:56
|
---|
37![On Functional Logic Programming and its Application to Testing Sebastian Fischer Programming Languages and Compiler Construction Department of Computing Science Christian-Albrechts University of Kiel On Functional Logic Programming and its Application to Testing Sebastian Fischer Programming Languages and Compiler Construction Department of Computing Science Christian-Albrechts University of Kiel](https://www.pdfsearch.io/img/2b488210421f88fc2f867e711c296504.jpg) | Add to Reading ListSource URL: www-ps.informatik.uni-kiel.de- Date: 2014-06-15 10:42:57
|
---|
38![Logic Programming for Software-Defined Networks 1. Naga Praveen Katta Logic Programming for Software-Defined Networks 1. Naga Praveen Katta](https://www.pdfsearch.io/img/7ae621f802328810d7673bc76571cea7.jpg) | Add to Reading ListSource URL: frenetic-lang.org- Date: 2016-06-10 23:59:37
|
---|
39![Towards Integrating Fuzzy Logic Capabilities into an Ontology-based Inductive Logic Programming Framework Josu´e Iglesias Telecommunications Engineering School Technical University of Madrid, Spain Email: Towards Integrating Fuzzy Logic Capabilities into an Ontology-based Inductive Logic Programming Framework Josu´e Iglesias Telecommunications Engineering School Technical University of Madrid, Spain Email:](https://www.pdfsearch.io/img/4ea44a7e17242c41e7fc1ccbd075b005.jpg) | Add to Reading ListSource URL: jens-lehmann.org- Date: 2016-08-19 06:05:24
|
---|
40![Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming](https://www.pdfsearch.io/img/0755593b76088c158d8969497619c1d2.jpg) | Add to Reading ListSource URL: dbai.tuwien.ac.at- Date: 2013-06-20 14:18:41
|
---|